1001. Fanuc CNC custom macros
پدیدآورنده : Peter Smid
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Machine-tools- Numerical control- Programming- Handbooks, manuals, etc,Macro instructions (Electronic computers)- Handbooks, manuals, etc
رده :
TJ
,
1189
,.
S5925
,
2005


1002. Fanuc CNC custom macros :
پدیدآورنده : Peter Smid.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine-tools -- Numerical control -- Programming -- Handbooks, manuals, etc.,Macro instructions (Electronic computers) -- Handbooks, manuals, etc.,TECHNOLOGY & ENGINEERING -- Mechanical.
رده :
TJ1189
.
P484
2005


1003. Fast track to Sun Certified Java Programmer (SCJP) 5.0 upgrade exam
پدیدآورنده : Kent Tong Ka Iok.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing personnel -- Certification.,Java (Computer program language),Sun computers -- Programming -- Examinations -- Study guides.

1004. Faster, smarter.dollar5Beginning programming /
پدیدآورنده : Jim Buyens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Programming languages (Electronic computers),Computer programming.,Programming languages (Electronic computers),REFERENCE-- General.
رده :
QA76
.
6
.
B87
2003eb


1005. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : / Dirk Taubner
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989


1006. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989


1007. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989


1008. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369


1009. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;

1010. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979


1011. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68


1012. First-order programming theories
پدیدآورنده : Gergely, T.)Tamas(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming
رده :
QA
76
.
6
.
G47
1991


1013. First step in basic Fortran
پدیدآورنده : Slater, Lucy John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، FORTRAN )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
S556


1014. First step in programming
پدیدآورنده : Lee, David
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming )Electronic computers(,، Electronic digital computers programming
رده :
QA
76
.
5
.
L46


1015. Floating-point computation
پدیدآورنده : STERBENZ,PAT H
کتابخانه: (طهران)
موضوع : IBM 360 )COMPUTER(-PROGRAMMING , FLOATING-POINT ARITHMETIC , COMILING )ELECTRONIC COMPUTERS
رده :
QA
76
.
8
.
I12
S77


1016. Flow analysis of computer programs
پدیدآورنده : Hecht, Matthew S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4


1017. Flowcharling and BASIC
پدیدآورنده : Edwards ,perry
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic digital computers- programming,، Flow charts,، Basic ) computer program
رده :
QA
76
.
6
.
E38


1018. Flowcharting
پدیدآورنده : FARINA,MARIO V
کتابخانه: (طهران)
موضوع : FLOW CHARTS , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , BASIC )COMPUTER PROGRAM
رده :
QA
76
.
5
.
F338


1019. Flowcharting; a tool for understanding computer logic
پدیدآورنده : Stern, Nancy B
موضوع : ، Flow charts-- Programmed instruction,، Electronic digital computers programming-- Programmed instruction
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1020. Flowcharting & Fortran IV
پدیدآورنده : Edwards, Perry
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming,، Flow charts,، FORTRAN IV )Computer program language(
رده :
QA
76
.
6
.
E4

